A Visual {DSL} for the certification of open source software

Quality assessment of open source software is becoming an important and active research area. One of the reasons for this recent interest is the consequence of Internet popularity. Nowadays, programming also involves looking for the large set of open source libraries and tools that may be reused when developing our software applications. In order to reuse such open source software artifacts, programmers not only need the guarantee that the reused artifact is certified, but also that independently developed artifacts can be easily combined into a coherent piece of software. In this paper we improve over previous works and describe a visual language that allows programmers to graphically describe how software artifacts can be combined into powerful software certification processes. This paper introduces the visual language and describes how its elements are available to the user through an intuitive interface.(undefined

Watch out for that tree! A tutorial on shortcut deforestation

Functional programmers are strong enthusiasts of modular solutions to programming problems. Since software characteristics such as readability or maintainability are often directly proportional to modularity, this programming style naturally contributes to the beauty of functional programs. Unfortunately, in return of this beauty we often sacrifice efficiency: modular programs rely, at runtime, on the creation, use and elimination of intermediate data structures to connect its components. In this tutorial paper, we study an advanced technique that attempts to retain the best of this two worlds: (i) it allows programmers to implement beautiful, modular programs (ii) it shows how to transform such programs, in a way that can be incorporated in a compiler, into programs that do not construct any intermediate structure.- (undefined

Constraints on inelastic dark matter from XENON10

It has been suggested that dark matter particles which scatter inelastically from detector target nuclei could explain the apparent incompatibility of the DAMA modulation signal (interpreted as evidence for particle dark matter) with the null results from CDMS-II and XENON10. Among the predictions of inelastically interacting dark matter are a suppression of low-energy events, and a population of nuclear recoil events at higher nuclear recoil equivalent energies. This is in stark contrast to the well-known expectation of a falling exponential spectrum for the case of elastic interactions. We present a new analysis of XENON10 dark matter search data extending to E$_{nr}=75$ keV nuclear recoil equivalent energy. Our results exclude a significant region of previously allowed parameter space in the model of inelastically interacting dark matter. In particular, it is found that dark matter particle masses $m_{\chi}\gtrsim150$ GeV are disfavored.Comment: 8 pages, 4 figure

First Results from the XENON10 Dark Matter Experiment at the Gran Sasso National Laboratory

The XENON10 experiment at the Gran Sasso National Laboratory uses a 15 kg xenon dual phase time projection chamber (XeTPC) to search for dark matter weakly interacting massive particles (WIMPs). The detector measures simultaneously the scintillation and the ionization produced by radiation in pure liquid xenon, to discriminate signal from background down to 4.5 keV nuclear recoil energy. A blind analysis of 58.6 live days of data, acquired between October 6, 2006 and February 14, 2007, and using a fiducial mass of 5.4 kg, excludes previously unexplored parameter space, setting a new 90% C.L. upper limit for the WIMP-nucleon spin-independent cross-section of 8.8 x 10^{-44} cm^2 for a WIMP mass of 100 GeV/c^2, and 4.5 x 10^{-44} cm^2 for a WIMP mass of 30 GeV/c^2. This result further constrains predictions of supersymmetric models.Comment: accepted for publication in Phys. Rev. Let

A search for light dark matter in XENON10 data

We report results of a search for light (<10 GeV) particle dark matter with the XENON10 detector. The event trigger was sensitive to a single electron, with the analysis threshold of 5 electrons corresponding to 1.4 keV nuclear recoil energy. Considering spin-independent dark matter-nucleon scattering, we exclude cross sections \sigma_n>3.5x10^{-42} cm^2, for a dark matter particle mass m_{\chi}=8 GeV. We find that our data strongly constrain recent elastic dark matter interpretations of excess low-energy events observed by CoGeNT and CRESST-II, as well as the DAMA annual modulation signal.Comment: Manuscript identical to v2 (published version) but also contains erratum. Note v3==v2 but without \linenumber

Status of the LUX Dark Matter Search

The Large Underground Xenon (LUX) dark matter search experiment is currently being deployed at the Homestake Laboratory in South Dakota. We will highlight the main elements of design which make the experiment a very strong competitor in the field of direct detection, as well as an easily scalable concept. We will also present its potential reach for supersymmetric dark matter detection, within various timeframes ranging from 1 year to 5 years or more.Comment: 4 pages, in proceedings of the SUSY09 conferenc

The scintillation and ionization yield of liquid xenon for nuclear recoils

XENON10 is an experiment designed to directly detect particle dark matter. It is a dual phase (liquid/gas) xenon time-projection chamber with 3D position imaging. Particle interactions generate a primary scintillation signal (S1) and ionization signal (S2), which are both functions of the deposited recoil energy and the incident particle type. We present a new precision measurement of the relative scintillation yield \leff and the absolute ionization yield Q_y, for nuclear recoils in xenon. A dark matter particle is expected to deposit energy by scattering from a xenon nucleus. Knowledge of \leff is therefore crucial for establishing the energy threshold of the experiment; this in turn determines the sensitivity to particle dark matter. Our \leff measurement is in agreement with recent theoretical predictions above 15 keV nuclear recoil energy, and the energy threshold of the measurement is 4 keV. A knowledge of the ionization yield \Qy is necessary to establish the trigger threshold of the experiment. The ionization yield \Qy is measured in two ways, both in agreement with previous measurements and with a factor of 10 lower energy threshold.Comment: 8 pages, 9 figures. To be published in Nucl. Instrum. Methods